منابع مشابه
Efficient On-the-Fly Computation of Weak Tau-Confluence
The notion of τ-confluence provides a form of partial order reduction of Labelled Transition Systems (Ltss), by allowing to identify the τ-transitions whose execution does not alter the observable behaviour of the system. Several forms of τ-confluence adequate with branching bisimulation were studied in the literature, ranging from strong to weak ones according to the length of τ-transition seq...
متن کاملz-weak ideals and prime weak ideals
In this paper, we study a generalization of z-ideals in the ring C(X) of continuous real valued functions on a completely regular Hausdorff space X. The notion of a weak ideal and naturally a weak z-ideal and a prime weak ideal are introduced and it turns out that they behave such as z-ideals in C(X).
متن کاملΤ and Weak Demicloseness Principle and Asymptotic Behavior for Asymptotically Nonexpansive Type Mappings
The purpose of this paper is to provide the new demicloseness principle– τ (weakly) demicloseness principle. We prove that if X is a Banach space with locally uniformly τ -Opial condition, where τ is a Hausdorff topology on X, C is a nonempty τ compact subset of X, and T : C → C is a asymptotically nonexpansive type mapping. If {xα} is a net in C which converges to x in the sense of τ topology ...
متن کاملSequential and distributed on-the-fly computation of weak tau-confluence
The notion of τ -confluence provides a form of partial order reduction of Labelled Transition Systems (Ltss), by enabling to identify the τ -transitions, whose execution does not alter the observable behaviour of the system. Several forms of τ -confluence adequate with branching bisimulation were studied in the literature, ranging from strong to weak forms according to the length of τ -transiti...
متن کامل→ τ + τ − at the threshold and beyond
The excitation curve for the τ τ− production in electron positron annihilation near the threshold is revisited with the aim of updating and extending a previous work. We find that the corrections of the relative magnitude O(α) near the threshold are significantly contributed by the radiative modification of the Coulomb interaction between the τ leptons. The interpolation between the Coulomb eff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00084-5